Global optimisation for dynamic systems using novel overestimation reduction techniques

The optimisation of dynamic systems is of high relevance in chemical engineering as many practical systems can be described by ordinary differential equations (ODEs) or differential algebraic equations (DAEs). The current techniques for solving these problems rigorously to global optimality rely mainly on sequential approaches in which a branch and bound framework is used for solving the global optimisation part of the problem and a verified simulator (in which rounding errors are accounted for in the computations) is used for solving the dynamic constraints. The verified simulation part is the main bottleneck since tight bounds are difficult to obtain for high dimensional dynamic systems. Additionally, uncertainty in the form of, for example, intervals is introduced in the parameters of the dynamic constraints which are also the decision variables of the optimisation problem. Nevertheless, in the verified simulation the accumulation of trajectories that do not belong to the exact solution (overestimation) makes the state bounds overconservative and in the worst case they blow up and tend towards ±∞. In this thesis, methods for verified simulation in global optimisation for dynamic systems were investigated. A novel algorithm that uses an interval Taylor series (ITS) method with enhanced overestimation reduction capabilities was developed. These enhancements for the reduction of the overestimation rely on interval contractors (Krawczyk, Newton, ForwardBackward) and model reformulation based on pattern substitution and input scaling. The method with interval contractors was also extended to Taylor Models (TM) for comparison purposes. The two algorithms were tested on several case studies to demonstrate the effectiveness of the methods. The case studies have a different number of state variables and system parameters and they use uncertain amounts in some of the system parameters and initial conditions. Both of the methods were also used in a sequential approach to address the global optimisation for dynamic systems problem subject to uncertainty. The simulation results demonstrated that the ITS method with overestimation reduction techniques provided tighter state bounds with less computational expense than the traditional method. In the case of the forward-backward contractor additional constraints can be introduced that can potentially contribute significantly to the reduction of the overestimation. Similarly, the novel TM method with enhanced overestimation reduction capabilities provided tighter bounds than the TM method alone. On the other hand, the optimisation results showed that the global optimisation algorithm with the novel ITS method with overestimation reduction techniques converged faster to a rigorous solution due to the improved state bounds

Lifetime Measurement of the 8s Level in Francium

We measure the lifetime of the 8s level on a magneto-optically trapped sample of ^{210}Fr atoms with time-correlated single-photon counting. The 7P_{1/2} state serves as the resonant intermediate level for two-photon excitation of the 8s level completed with a 1300 nm laser. Analysis of the fluorescence decay through the the 7P_{3/2} level gives 53.30 +- 0.44 ns for the 8s level lifetime.Comment: 4 pages, 4 figure

Liver function as an engineering system

Process Systems Engineering has tackled a wide range of problems including manufacturing, the environment, and advanced materials design. Here we discuss how tools can be deployed to tackle medical problems which involve complex chemical transformations and spatial phenomena looking in particular at the liver system, the body's chemical factory. We show how an existing model has been developed to model distributed behavior necessary to predict the behavior of drugs for treating liver disease. The model has been used to predict the effects of suppression of de novo lipogenesis, stimulation of β-oxidation and a combination of the two. A reduced model has also been used to explore the prediction of behavior of hormones in the blood stream controlling glucose levels to ensure that levels are kept within safe bounds using interval methods. The predictions are made resulting from uncertainty in two key parameters with oscillating input resulting from regular feeding

Global Optimisation for Dynamic Systems using Interval Analysis

Engineers seek optimal solutions when designing dynamic systems but a crucial element is to ensure bounded performance over time. Finding a globally optimal bounded trajectory requires the solution of the ordinary differential equation (ODE) systems in a verified way. To date these methods are only able to address low dimensional problems and for larger systems are unable to prevent gross overestimation of the bounds. In this paper we show how interval contractors can be used to obtain tightly bounded optima. A verified solver constructs tight upper and lower bounds on the dynamic variables using contractors for initial value problems (IVP) for ODEs within a global optimisation method. The solver provides guaranteed bound on the objective function and on the first order sensitivity equations in a branch and bound framework. The method is compared with three previously published methods on three examples from process engineering

Beta-delayed-neutron studies of 135,136^{135,136}Sb and 140^{140}I performed with trapped ions

Beta-delayed-neutron ($\beta$n) spectroscopy was performed using the Beta-decay Paul Trap and an array of radiation detectors. The $\beta$n branching ratios and energy spectra for $^{135,136}$Sb and $^{140}$I were obtained by measuring the time of flight of recoil ions emerging from the trapped ion cloud. These nuclei are located at the edge of an isotopic region identified as having $\beta$n branching ratios that impact the r-process abundance pattern around the A~130 peak. For $^{135,136}$Sb and $^{140}$I, $\beta$n branching ratios of 14.6(11)%, 17.6(28)%, and 7.6(28)% were determined, respectively. The $\beta$n energy spectra obtained for $^{135}$Sb and $^{140}$I are compared with results from direct neutron measurements, and the $\beta$n energy spectrum for $^{136}$Sb has been measured for the first time

Oral direct anticoagulants in the treatment of nonvalvular atrial fibrillation. Results of the daily clinical practice.

Atrial fibrillation (AF) is the most common arrhythmia. It leads to significant morbidity and mortality. The new oral anticoagulants (NOAC) represent an improvement compared with standard treatment (vitamin K antagonists (AVK)) in the prevention of thromboembolic complications in patients with non-valvular AF.N

Determination of the Axial-Vector Weak Coupling Constant with Ultracold Neutrons

A precise measurement of the neutron decay $\beta$-asymmetry $A_0$ has been carried out using polarized ultracold neutrons (UCN) from the pulsed spallation UCN source at the Los Alamos Neutron Science Center (LANSCE). Combining data obtained in 2008 and 2009, we report $A_0 = -0.11966 \pm 0.00089_{-0.00140}^{+0.00123}$, from which we determine the ratio of the axial-vector to vector weak coupling of the nucleon $g_A/g_V = -1.27590_{-0.00445}^{+0.00409}$.Comment: 5 pages, 2 figure

New result for the neutron β\beta-asymmetry parameter A0A_0 from UCNA

The neutron $\beta$-decay asymmetry parameter $A_0$ defines the correlation between the spin of the neutron and the momentum of the emitted electron, which determines $\lambda=\frac{g_{A}}{g_{V}}$, the ratio of the axial-vector to vector weak coupling constants. The UCNA Experiment, located at the Ultracold Neutron facility at the Los Alamos Neutron Science Center, is the first to measure such a correlation coefficient using ultracold neutrons (UCN). Following improvements to the systematic uncertainties and increased statistics, we report the new result $A_0 = -0.12054(44)_{\mathrm{stat}}(68)_{\mathrm{syst}}$ which yields $\lambda\equiv \frac{g_{A}}{g_{V}}=-1.2783(22)$. Combination with the previous UCNA result and accounting for correlated systematic uncertainties produces $A_0=-0.12015(34)_{\mathrm{stat}}(63)_{\mathrm{syst}}$ and $\lambda\equiv \frac{g_{A}}{g_{V}}=-1.2772(20)$.Comment: 9 pages, 7 figures, updated to as-published versio

Conservation of the endemic dwarf carnivores of Cozumel Island, Mexico.

Cozumel Island, Mexico, harbours two endemic species of dwarf procyonids: the Pygmy Raccoon Procyon pygmaeus and the Dwarf Coati Nasua nelsoni. Both species are Critically Endangered, and are among the world&rsquo;s most threatened Carnivora. Here we summarise the research we have been conducting on their ecology, evolution, genetics, and conservation. We also summarise the conservation initiatives we have been undertaking and promoting in order to advance the conservation of these unique species and their habitats. This effort illustrates the importance of an interdisciplinary approach in conservation science and action in maximising effectiveness. Nevertheless, the precarious status of the species make it imperative to continue and expand the work we have carried out in Cozumel to prevent two imminent global extinctions.<br /